(define (problem triangle-tire-20)
   (:domain triangle-tire)
   (:objects l_1_1
             l_1_2
             l_1_3
             l_1_4
             l_1_5
             l_1_6
             l_1_7
             l_1_8
             l_1_9
             l_1_10
             l_1_11
             l_1_12
             l_1_13
             l_1_14
             l_1_15
             l_1_16
             l_1_17
             l_1_18
             l_1_19
             l_1_20
             l_1_21
             l_1_22
             l_1_23
             l_1_24
             l_1_25
             l_1_26
             l_1_27
             l_1_28
             l_1_29
             l_1_30
             l_1_31
             l_1_32
             l_1_33
             l_1_34
             l_1_35
             l_1_36
             l_1_37
             l_1_38
             l_1_39
             l_1_40
             l_1_41
             l_2_1
             l_2_2
             l_2_3
             l_2_4
             l_2_5
             l_2_6
             l_2_7
             l_2_8
             l_2_9
             l_2_10
             l_2_11
             l_2_12
             l_2_13
             l_2_14
             l_2_15
             l_2_16
             l_2_17
             l_2_18
             l_2_19
             l_2_20
             l_2_21
             l_2_22
             l_2_23
             l_2_24
             l_2_25
             l_2_26
             l_2_27
             l_2_28
             l_2_29
             l_2_30
             l_2_31
             l_2_32
             l_2_33
             l_2_34
             l_2_35
             l_2_36
             l_2_37
             l_2_38
             l_2_39
             l_2_40
             l_3_1
             l_3_2
             l_3_3
             l_3_4
             l_3_5
             l_3_6
             l_3_7
             l_3_8
             l_3_9
             l_3_10
             l_3_11
             l_3_12
             l_3_13
             l_3_14
             l_3_15
             l_3_16
             l_3_17
             l_3_18
             l_3_19
             l_3_20
             l_3_21
             l_3_22
             l_3_23
             l_3_24
             l_3_25
             l_3_26
             l_3_27
             l_3_28
             l_3_29
             l_3_30
             l_3_31
             l_3_32
             l_3_33
             l_3_34
             l_3_35
             l_3_36
             l_3_37
             l_3_38
             l_3_39
             l_4_1
             l_4_2
             l_4_3
             l_4_4
             l_4_5
             l_4_6
             l_4_7
             l_4_8
             l_4_9
             l_4_10
             l_4_11
             l_4_12
             l_4_13
             l_4_14
             l_4_15
             l_4_16
             l_4_17
             l_4_18
             l_4_19
             l_4_20
             l_4_21
             l_4_22
             l_4_23
             l_4_24
             l_4_25
             l_4_26
             l_4_27
             l_4_28
             l_4_29
             l_4_30
             l_4_31
             l_4_32
             l_4_33
             l_4_34
             l_4_35
             l_4_36
             l_4_37
             l_4_38
             l_5_1
             l_5_2
             l_5_3
             l_5_4
             l_5_5
             l_5_6
             l_5_7
             l_5_8
             l_5_9
             l_5_10
             l_5_11
             l_5_12
             l_5_13
             l_5_14
             l_5_15
             l_5_16
             l_5_17
             l_5_18
             l_5_19
             l_5_20
             l_5_21
             l_5_22
             l_5_23
             l_5_24
             l_5_25
             l_5_26
             l_5_27
             l_5_28
             l_5_29
             l_5_30
             l_5_31
             l_5_32
             l_5_33
             l_5_34
             l_5_35
             l_5_36
             l_5_37
             l_6_1
             l_6_2
             l_6_3
             l_6_4
             l_6_5
             l_6_6
             l_6_7
             l_6_8
             l_6_9
             l_6_10
             l_6_11
             l_6_12
             l_6_13
             l_6_14
             l_6_15
             l_6_16
             l_6_17
             l_6_18
             l_6_19
             l_6_20
             l_6_21
             l_6_22
             l_6_23
             l_6_24
             l_6_25
             l_6_26
             l_6_27
             l_6_28
             l_6_29
             l_6_30
             l_6_31
             l_6_32
             l_6_33
             l_6_34
             l_6_35
             l_6_36
             l_7_1
             l_7_2
             l_7_3
             l_7_4
             l_7_5
             l_7_6
             l_7_7
             l_7_8
             l_7_9
             l_7_10
             l_7_11
             l_7_12
             l_7_13
             l_7_14
             l_7_15
             l_7_16
             l_7_17
             l_7_18
             l_7_19
             l_7_20
             l_7_21
             l_7_22
             l_7_23
             l_7_24
             l_7_25
             l_7_26
             l_7_27
             l_7_28
             l_7_29
             l_7_30
             l_7_31
             l_7_32
             l_7_33
             l_7_34
             l_7_35
             l_8_1
             l_8_2
             l_8_3
             l_8_4
             l_8_5
             l_8_6
             l_8_7
             l_8_8
             l_8_9
             l_8_10
             l_8_11
             l_8_12
             l_8_13
             l_8_14
             l_8_15
             l_8_16
             l_8_17
             l_8_18
             l_8_19
             l_8_20
             l_8_21
             l_8_22
             l_8_23
             l_8_24
             l_8_25
             l_8_26
             l_8_27
             l_8_28
             l_8_29
             l_8_30
             l_8_31
             l_8_32
             l_8_33
             l_8_34
             l_9_1
             l_9_2
             l_9_3
             l_9_4
             l_9_5
             l_9_6
             l_9_7
             l_9_8
             l_9_9
             l_9_10
             l_9_11
             l_9_12
             l_9_13
             l_9_14
             l_9_15
             l_9_16
             l_9_17
             l_9_18
             l_9_19
             l_9_20
             l_9_21
             l_9_22
             l_9_23
             l_9_24
             l_9_25
             l_9_26
             l_9_27
             l_9_28
             l_9_29
             l_9_30
             l_9_31
             l_9_32
             l_9_33
             l_10_1
             l_10_2
             l_10_3
             l_10_4
             l_10_5
             l_10_6
             l_10_7
             l_10_8
             l_10_9
             l_10_10
             l_10_11
             l_10_12
             l_10_13
             l_10_14
             l_10_15
             l_10_16
             l_10_17
             l_10_18
             l_10_19
             l_10_20
             l_10_21
             l_10_22
             l_10_23
             l_10_24
             l_10_25
             l_10_26
             l_10_27
             l_10_28
             l_10_29
             l_10_30
             l_10_31
             l_10_32
             l_11_1
             l_11_2
             l_11_3
             l_11_4
             l_11_5
             l_11_6
             l_11_7
             l_11_8
             l_11_9
             l_11_10
             l_11_11
             l_11_12
             l_11_13
             l_11_14
             l_11_15
             l_11_16
             l_11_17
             l_11_18
             l_11_19
             l_11_20
             l_11_21
             l_11_22
             l_11_23
             l_11_24
             l_11_25
             l_11_26
             l_11_27
             l_11_28
             l_11_29
             l_11_30
             l_11_31
             l_12_1
             l_12_2
             l_12_3
             l_12_4
             l_12_5
             l_12_6
             l_12_7
             l_12_8
             l_12_9
             l_12_10
             l_12_11
             l_12_12
             l_12_13
             l_12_14
             l_12_15
             l_12_16
             l_12_17
             l_12_18
             l_12_19
             l_12_20
             l_12_21
             l_12_22
             l_12_23
             l_12_24
             l_12_25
             l_12_26
             l_12_27
             l_12_28
             l_12_29
             l_12_30
             l_13_1
             l_13_2
             l_13_3
             l_13_4
             l_13_5
             l_13_6
             l_13_7
             l_13_8
             l_13_9
             l_13_10
             l_13_11
             l_13_12
             l_13_13
             l_13_14
             l_13_15
             l_13_16
             l_13_17
             l_13_18
             l_13_19
             l_13_20
             l_13_21
             l_13_22
             l_13_23
             l_13_24
             l_13_25
             l_13_26
             l_13_27
             l_13_28
             l_13_29
             l_14_1
             l_14_2
             l_14_3
             l_14_4
             l_14_5
             l_14_6
             l_14_7
             l_14_8
             l_14_9
             l_14_10
             l_14_11
             l_14_12
             l_14_13
             l_14_14
             l_14_15
             l_14_16
             l_14_17
             l_14_18
             l_14_19
             l_14_20
             l_14_21
             l_14_22
             l_14_23
             l_14_24
             l_14_25
             l_14_26
             l_14_27
             l_14_28
             l_15_1
             l_15_2
             l_15_3
             l_15_4
             l_15_5
             l_15_6
             l_15_7
             l_15_8
             l_15_9
             l_15_10
             l_15_11
             l_15_12
             l_15_13
             l_15_14
             l_15_15
             l_15_16
             l_15_17
             l_15_18
             l_15_19
             l_15_20
             l_15_21
             l_15_22
             l_15_23
             l_15_24
             l_15_25
             l_15_26
             l_15_27
             l_16_1
             l_16_2
             l_16_3
             l_16_4
             l_16_5
             l_16_6
             l_16_7
             l_16_8
             l_16_9
             l_16_10
             l_16_11
             l_16_12
             l_16_13
             l_16_14
             l_16_15
             l_16_16
             l_16_17
             l_16_18
             l_16_19
             l_16_20
             l_16_21
             l_16_22
             l_16_23
             l_16_24
             l_16_25
             l_16_26
             l_17_1
             l_17_2
             l_17_3
             l_17_4
             l_17_5
             l_17_6
             l_17_7
             l_17_8
             l_17_9
             l_17_10
             l_17_11
             l_17_12
             l_17_13
             l_17_14
             l_17_15
             l_17_16
             l_17_17
             l_17_18
             l_17_19
             l_17_20
             l_17_21
             l_17_22
             l_17_23
             l_17_24
             l_17_25
             l_18_1
             l_18_2
             l_18_3
             l_18_4
             l_18_5
             l_18_6
             l_18_7
             l_18_8
             l_18_9
             l_18_10
             l_18_11
             l_18_12
             l_18_13
             l_18_14
             l_18_15
             l_18_16
             l_18_17
             l_18_18
             l_18_19
             l_18_20
             l_18_21
             l_18_22
             l_18_23
             l_18_24
             l_19_1
             l_19_2
             l_19_3
             l_19_4
             l_19_5
             l_19_6
             l_19_7
             l_19_8
             l_19_9
             l_19_10
             l_19_11
             l_19_12
             l_19_13
             l_19_14
             l_19_15
             l_19_16
             l_19_17
             l_19_18
             l_19_19
             l_19_20
             l_19_21
             l_19_22
             l_19_23
             l_20_1
             l_20_2
             l_20_3
             l_20_4
             l_20_5
             l_20_6
             l_20_7
             l_20_8
             l_20_9
             l_20_10
             l_20_11
             l_20_12
             l_20_13
             l_20_14
             l_20_15
             l_20_16
             l_20_17
             l_20_18
             l_20_19
             l_20_20
             l_20_21
             l_20_22
             l_21_1
             l_21_2
             l_21_3
             l_21_4
             l_21_5
             l_21_6
             l_21_7
             l_21_8
             l_21_9
             l_21_10
             l_21_11
             l_21_12
             l_21_13
             l_21_14
             l_21_15
             l_21_16
             l_21_17
             l_21_18
             l_21_19
             l_21_20
             l_21_21
             l_22_1
             l_22_2
             l_22_3
             l_22_4
             l_22_5
             l_22_6
             l_22_7
             l_22_8
             l_22_9
             l_22_10
             l_22_11
             l_22_12
             l_22_13
             l_22_14
             l_22_15
             l_22_16
             l_22_17
             l_22_18
             l_22_19
             l_22_20
             l_23_1
             l_23_2
             l_23_3
             l_23_4
             l_23_5
             l_23_6
             l_23_7
             l_23_8
             l_23_9
             l_23_10
             l_23_11
             l_23_12
             l_23_13
             l_23_14
             l_23_15
             l_23_16
             l_23_17
             l_23_18
             l_23_19
             l_24_1
             l_24_2
             l_24_3
             l_24_4
             l_24_5
             l_24_6
             l_24_7
             l_24_8
             l_24_9
             l_24_10
             l_24_11
             l_24_12
             l_24_13
             l_24_14
             l_24_15
             l_24_16
             l_24_17
             l_24_18
             l_25_1
             l_25_2
             l_25_3
             l_25_4
             l_25_5
             l_25_6
             l_25_7
             l_25_8
             l_25_9
             l_25_10
             l_25_11
             l_25_12
             l_25_13
             l_25_14
             l_25_15
             l_25_16
             l_25_17
             l_26_1
             l_26_2
             l_26_3
             l_26_4
             l_26_5
             l_26_6
             l_26_7
             l_26_8
             l_26_9
             l_26_10
             l_26_11
             l_26_12
             l_26_13
             l_26_14
             l_26_15
             l_26_16
             l_27_1
             l_27_2
             l_27_3
             l_27_4
             l_27_5
             l_27_6
             l_27_7
             l_27_8
             l_27_9
             l_27_10
             l_27_11
             l_27_12
             l_27_13
             l_27_14
             l_27_15
             l_28_1
             l_28_2
             l_28_3
             l_28_4
             l_28_5
             l_28_6
             l_28_7
             l_28_8
             l_28_9
             l_28_10
             l_28_11
             l_28_12
             l_28_13
             l_28_14
             l_29_1
             l_29_2
             l_29_3
             l_29_4
             l_29_5
             l_29_6
             l_29_7
             l_29_8
             l_29_9
             l_29_10
             l_29_11
             l_29_12
             l_29_13
             l_30_1
             l_30_2
             l_30_3
             l_30_4
             l_30_5
             l_30_6
             l_30_7
             l_30_8
             l_30_9
             l_30_10
             l_30_11
             l_30_12
             l_31_1
             l_31_2
             l_31_3
             l_31_4
             l_31_5
             l_31_6
             l_31_7
             l_31_8
             l_31_9
             l_31_10
             l_31_11
             l_32_1
             l_32_2
             l_32_3
             l_32_4
             l_32_5
             l_32_6
             l_32_7
             l_32_8
             l_32_9
             l_32_10
             l_33_1
             l_33_2
             l_33_3
             l_33_4
             l_33_5
             l_33_6
             l_33_7
             l_33_8
             l_33_9
             l_34_1
             l_34_2
             l_34_3
             l_34_4
             l_34_5
             l_34_6
             l_34_7
             l_34_8
             l_35_1
             l_35_2
             l_35_3
             l_35_4
             l_35_5
             l_35_6
             l_35_7
             l_36_1
             l_36_2
             l_36_3
             l_36_4
             l_36_5
             l_36_6
             l_37_1
             l_37_2
             l_37_3
             l_37_4
             l_37_5
             l_38_1
             l_38_2
             l_38_3
             l_38_4
             l_39_1
             l_39_2
             l_39_3
             l_40_1
             l_40_2
             l_41_1 - location)
   (:init (vehicle-at l_1_1)
          (road l_1_1 l_1_2)
          (road l_1_2 l_1_3)
          (road l_1_3 l_1_4)
          (road l_1_4 l_1_5)
          (road l_1_5 l_1_6)
          (road l_1_6 l_1_7)
          (road l_1_7 l_1_8)
          (road l_1_8 l_1_9)
          (road l_1_9 l_1_10)
          (road l_1_10 l_1_11)
          (road l_1_11 l_1_12)
          (road l_1_12 l_1_13)
          (road l_1_13 l_1_14)
          (road l_1_14 l_1_15)
          (road l_1_15 l_1_16)
          (road l_1_16 l_1_17)
          (road l_1_17 l_1_18)
          (road l_1_18 l_1_19)
          (road l_1_19 l_1_20)
          (road l_1_20 l_1_21)
          (road l_1_21 l_1_22)
          (road l_1_22 l_1_23)
          (road l_1_23 l_1_24)
          (road l_1_24 l_1_25)
          (road l_1_25 l_1_26)
          (road l_1_26 l_1_27)
          (road l_1_27 l_1_28)
          (road l_1_28 l_1_29)
          (road l_1_29 l_1_30)
          (road l_1_30 l_1_31)
          (road l_1_31 l_1_32)
          (road l_1_32 l_1_33)
          (road l_1_33 l_1_34)
          (road l_1_34 l_1_35)
          (road l_1_35 l_1_36)
          (road l_1_36 l_1_37)
          (road l_1_37 l_1_38)
          (road l_1_38 l_1_39)
          (road l_1_39 l_1_40)
          (road l_1_40 l_1_41)
          (road l_1_1 l_2_1)
          (road l_1_2 l_2_2)
          (road l_1_3 l_2_3)
          (road l_1_4 l_2_4)
          (road l_1_5 l_2_5)
          (road l_1_6 l_2_6)
          (road l_1_7 l_2_7)
          (road l_1_8 l_2_8)
          (road l_1_9 l_2_9)
          (road l_1_10 l_2_10)
          (road l_1_11 l_2_11)
          (road l_1_12 l_2_12)
          (road l_1_13 l_2_13)
          (road l_1_14 l_2_14)
          (road l_1_15 l_2_15)
          (road l_1_16 l_2_16)
          (road l_1_17 l_2_17)
          (road l_1_18 l_2_18)
          (road l_1_19 l_2_19)
          (road l_1_20 l_2_20)
          (road l_1_21 l_2_21)
          (road l_1_22 l_2_22)
          (road l_1_23 l_2_23)
          (road l_1_24 l_2_24)
          (road l_1_25 l_2_25)
          (road l_1_26 l_2_26)
          (road l_1_27 l_2_27)
          (road l_1_28 l_2_28)
          (road l_1_29 l_2_29)
          (road l_1_30 l_2_30)
          (road l_1_31 l_2_31)
          (road l_1_32 l_2_32)
          (road l_1_33 l_2_33)
          (road l_1_34 l_2_34)
          (road l_1_35 l_2_35)
          (road l_1_36 l_2_36)
          (road l_1_37 l_2_37)
          (road l_1_38 l_2_38)
          (road l_1_39 l_2_39)
          (road l_1_40 l_2_40)
          (road l_2_1 l_1_2)
          (road l_2_2 l_1_3)
          (road l_2_3 l_1_4)
          (road l_2_4 l_1_5)
          (road l_2_5 l_1_6)
          (road l_2_6 l_1_7)
          (road l_2_7 l_1_8)
          (road l_2_8 l_1_9)
          (road l_2_9 l_1_10)
          (road l_2_10 l_1_11)
          (road l_2_11 l_1_12)
          (road l_2_12 l_1_13)
          (road l_2_13 l_1_14)
          (road l_2_14 l_1_15)
          (road l_2_15 l_1_16)
          (road l_2_16 l_1_17)
          (road l_2_17 l_1_18)
          (road l_2_18 l_1_19)
          (road l_2_19 l_1_20)
          (road l_2_20 l_1_21)
          (road l_2_21 l_1_22)
          (road l_2_22 l_1_23)
          (road l_2_23 l_1_24)
          (road l_2_24 l_1_25)
          (road l_2_25 l_1_26)
          (road l_2_26 l_1_27)
          (road l_2_27 l_1_28)
          (road l_2_28 l_1_29)
          (road l_2_29 l_1_30)
          (road l_2_30 l_1_31)
          (road l_2_31 l_1_32)
          (road l_2_32 l_1_33)
          (road l_2_33 l_1_34)
          (road l_2_34 l_1_35)
          (road l_2_35 l_1_36)
          (road l_2_36 l_1_37)
          (road l_2_37 l_1_38)
          (road l_2_38 l_1_39)
          (road l_2_39 l_1_40)
          (road l_2_40 l_1_41)
          (spare-in l_2_1)
          (spare-in l_2_2)
          (spare-in l_2_3)
          (spare-in l_2_4)
          (spare-in l_2_5)
          (spare-in l_2_6)
          (spare-in l_2_7)
          (spare-in l_2_8)
          (spare-in l_2_9)
          (spare-in l_2_10)
          (spare-in l_2_11)
          (spare-in l_2_12)
          (spare-in l_2_13)
          (spare-in l_2_14)
          (spare-in l_2_15)
          (spare-in l_2_16)
          (spare-in l_2_17)
          (spare-in l_2_18)
          (spare-in l_2_19)
          (spare-in l_2_20)
          (spare-in l_2_21)
          (spare-in l_2_22)
          (spare-in l_2_23)
          (spare-in l_2_24)
          (spare-in l_2_25)
          (spare-in l_2_26)
          (spare-in l_2_27)
          (spare-in l_2_28)
          (spare-in l_2_29)
          (spare-in l_2_30)
          (spare-in l_2_31)
          (spare-in l_2_32)
          (spare-in l_2_33)
          (spare-in l_2_34)
          (spare-in l_2_35)
          (spare-in l_2_36)
          (spare-in l_2_37)
          (spare-in l_2_38)
          (spare-in l_2_39)
          (spare-in l_2_40)
          (road l_3_1 l_3_2)
          (road l_3_2 l_3_3)
          (road l_3_3 l_3_4)
          (road l_3_4 l_3_5)
          (road l_3_5 l_3_6)
          (road l_3_6 l_3_7)
          (road l_3_7 l_3_8)
          (road l_3_8 l_3_9)
          (road l_3_9 l_3_10)
          (road l_3_10 l_3_11)
          (road l_3_11 l_3_12)
          (road l_3_12 l_3_13)
          (road l_3_13 l_3_14)
          (road l_3_14 l_3_15)
          (road l_3_15 l_3_16)
          (road l_3_16 l_3_17)
          (road l_3_17 l_3_18)
          (road l_3_18 l_3_19)
          (road l_3_19 l_3_20)
          (road l_3_20 l_3_21)
          (road l_3_21 l_3_22)
          (road l_3_22 l_3_23)
          (road l_3_23 l_3_24)
          (road l_3_24 l_3_25)
          (road l_3_25 l_3_26)
          (road l_3_26 l_3_27)
          (road l_3_27 l_3_28)
          (road l_3_28 l_3_29)
          (road l_3_29 l_3_30)
          (road l_3_30 l_3_31)
          (road l_3_31 l_3_32)
          (road l_3_32 l_3_33)
          (road l_3_33 l_3_34)
          (road l_3_34 l_3_35)
          (road l_3_35 l_3_36)
          (road l_3_36 l_3_37)
          (road l_3_37 l_3_38)
          (road l_3_38 l_3_39)
          (road l_2_1 l_3_1)
          (road l_2_3 l_3_3)
          (road l_2_5 l_3_5)
          (road l_2_7 l_3_7)
          (road l_2_9 l_3_9)
          (road l_2_11 l_3_11)
          (road l_2_13 l_3_13)
          (road l_2_15 l_3_15)
          (road l_2_17 l_3_17)
          (road l_2_19 l_3_19)
          (road l_2_21 l_3_21)
          (road l_2_23 l_3_23)
          (road l_2_25 l_3_25)
          (road l_2_27 l_3_27)
          (road l_2_29 l_3_29)
          (road l_2_31 l_3_31)
          (road l_2_33 l_3_33)
          (road l_2_35 l_3_35)
          (road l_2_37 l_3_37)
          (road l_2_39 l_3_39)
          (road l_3_1 l_2_2)
          (road l_3_3 l_2_4)
          (road l_3_5 l_2_6)
          (road l_3_7 l_2_8)
          (road l_3_9 l_2_10)
          (road l_3_11 l_2_12)
          (road l_3_13 l_2_14)
          (road l_3_15 l_2_16)
          (road l_3_17 l_2_18)
          (road l_3_19 l_2_20)
          (road l_3_21 l_2_22)
          (road l_3_23 l_2_24)
          (road l_3_25 l_2_26)
          (road l_3_27 l_2_28)
          (road l_3_29 l_2_30)
          (road l_3_31 l_2_32)
          (road l_3_33 l_2_34)
          (road l_3_35 l_2_36)
          (road l_3_37 l_2_38)
          (road l_3_39 l_2_40)
          (spare-in l_3_39)
          (spare-in l_3_1)
          (road l_3_1 l_4_1)
          (road l_3_2 l_4_2)
          (road l_3_3 l_4_3)
          (road l_3_4 l_4_4)
          (road l_3_5 l_4_5)
          (road l_3_6 l_4_6)
          (road l_3_7 l_4_7)
          (road l_3_8 l_4_8)
          (road l_3_9 l_4_9)
          (road l_3_10 l_4_10)
          (road l_3_11 l_4_11)
          (road l_3_12 l_4_12)
          (road l_3_13 l_4_13)
          (road l_3_14 l_4_14)
          (road l_3_15 l_4_15)
          (road l_3_16 l_4_16)
          (road l_3_17 l_4_17)
          (road l_3_18 l_4_18)
          (road l_3_19 l_4_19)
          (road l_3_20 l_4_20)
          (road l_3_21 l_4_21)
          (road l_3_22 l_4_22)
          (road l_3_23 l_4_23)
          (road l_3_24 l_4_24)
          (road l_3_25 l_4_25)
          (road l_3_26 l_4_26)
          (road l_3_27 l_4_27)
          (road l_3_28 l_4_28)
          (road l_3_29 l_4_29)
          (road l_3_30 l_4_30)
          (road l_3_31 l_4_31)
          (road l_3_32 l_4_32)
          (road l_3_33 l_4_33)
          (road l_3_34 l_4_34)
          (road l_3_35 l_4_35)
          (road l_3_36 l_4_36)
          (road l_3_37 l_4_37)
          (road l_3_38 l_4_38)
          (road l_4_1 l_3_2)
          (road l_4_2 l_3_3)
          (road l_4_3 l_3_4)
          (road l_4_4 l_3_5)
          (road l_4_5 l_3_6)
          (road l_4_6 l_3_7)
          (road l_4_7 l_3_8)
          (road l_4_8 l_3_9)
          (road l_4_9 l_3_10)
          (road l_4_10 l_3_11)
          (road l_4_11 l_3_12)
          (road l_4_12 l_3_13)
          (road l_4_13 l_3_14)
          (road l_4_14 l_3_15)
          (road l_4_15 l_3_16)
          (road l_4_16 l_3_17)
          (road l_4_17 l_3_18)
          (road l_4_18 l_3_19)
          (road l_4_19 l_3_20)
          (road l_4_20 l_3_21)
          (road l_4_21 l_3_22)
          (road l_4_22 l_3_23)
          (road l_4_23 l_3_24)
          (road l_4_24 l_3_25)
          (road l_4_25 l_3_26)
          (road l_4_26 l_3_27)
          (road l_4_27 l_3_28)
          (road l_4_28 l_3_29)
          (road l_4_29 l_3_30)
          (road l_4_30 l_3_31)
          (road l_4_31 l_3_32)
          (road l_4_32 l_3_33)
          (road l_4_33 l_3_34)
          (road l_4_34 l_3_35)
          (road l_4_35 l_3_36)
          (road l_4_36 l_3_37)
          (road l_4_37 l_3_38)
          (road l_4_38 l_3_39)
          (spare-in l_4_1)
          (spare-in l_4_2)
          (spare-in l_4_3)
          (spare-in l_4_4)
          (spare-in l_4_5)
          (spare-in l_4_6)
          (spare-in l_4_7)
          (spare-in l_4_8)
          (spare-in l_4_9)
          (spare-in l_4_10)
          (spare-in l_4_11)
          (spare-in l_4_12)
          (spare-in l_4_13)
          (spare-in l_4_14)
          (spare-in l_4_15)
          (spare-in l_4_16)
          (spare-in l_4_17)
          (spare-in l_4_18)
          (spare-in l_4_19)
          (spare-in l_4_20)
          (spare-in l_4_21)
          (spare-in l_4_22)
          (spare-in l_4_23)
          (spare-in l_4_24)
          (spare-in l_4_25)
          (spare-in l_4_26)
          (spare-in l_4_27)
          (spare-in l_4_28)
          (spare-in l_4_29)
          (spare-in l_4_30)
          (spare-in l_4_31)
          (spare-in l_4_32)
          (spare-in l_4_33)
          (spare-in l_4_34)
          (spare-in l_4_35)
          (spare-in l_4_36)
          (spare-in l_4_37)
          (spare-in l_4_38)
          (road l_5_1 l_5_2)
          (road l_5_2 l_5_3)
          (road l_5_3 l_5_4)
          (road l_5_4 l_5_5)
          (road l_5_5 l_5_6)
          (road l_5_6 l_5_7)
          (road l_5_7 l_5_8)
          (road l_5_8 l_5_9)
          (road l_5_9 l_5_10)
          (road l_5_10 l_5_11)
          (road l_5_11 l_5_12)
          (road l_5_12 l_5_13)
          (road l_5_13 l_5_14)
          (road l_5_14 l_5_15)
          (road l_5_15 l_5_16)
          (road l_5_16 l_5_17)
          (road l_5_17 l_5_18)
          (road l_5_18 l_5_19)
          (road l_5_19 l_5_20)
          (road l_5_20 l_5_21)
          (road l_5_21 l_5_22)
          (road l_5_22 l_5_23)
          (road l_5_23 l_5_24)
          (road l_5_24 l_5_25)
          (road l_5_25 l_5_26)
          (road l_5_26 l_5_27)
          (road l_5_27 l_5_28)
          (road l_5_28 l_5_29)
          (road l_5_29 l_5_30)
          (road l_5_30 l_5_31)
          (road l_5_31 l_5_32)
          (road l_5_32 l_5_33)
          (road l_5_33 l_5_34)
          (road l_5_34 l_5_35)
          (road l_5_35 l_5_36)
          (road l_5_36 l_5_37)
          (road l_4_1 l_5_1)
          (road l_4_3 l_5_3)
          (road l_4_5 l_5_5)
          (road l_4_7 l_5_7)
          (road l_4_9 l_5_9)
          (road l_4_11 l_5_11)
          (road l_4_13 l_5_13)
          (road l_4_15 l_5_15)
          (road l_4_17 l_5_17)
          (road l_4_19 l_5_19)
          (road l_4_21 l_5_21)
          (road l_4_23 l_5_23)
          (road l_4_25 l_5_25)
          (road l_4_27 l_5_27)
          (road l_4_29 l_5_29)
          (road l_4_31 l_5_31)
          (road l_4_33 l_5_33)
          (road l_4_35 l_5_35)
          (road l_4_37 l_5_37)
          (road l_5_1 l_4_2)
          (road l_5_3 l_4_4)
          (road l_5_5 l_4_6)
          (road l_5_7 l_4_8)
          (road l_5_9 l_4_10)
          (road l_5_11 l_4_12)
          (road l_5_13 l_4_14)
          (road l_5_15 l_4_16)
          (road l_5_17 l_4_18)
          (road l_5_19 l_4_20)
          (road l_5_21 l_4_22)
          (road l_5_23 l_4_24)
          (road l_5_25 l_4_26)
          (road l_5_27 l_4_28)
          (road l_5_29 l_4_30)
          (road l_5_31 l_4_32)
          (road l_5_33 l_4_34)
          (road l_5_35 l_4_36)
          (road l_5_37 l_4_38)
          (spare-in l_5_1)
          (spare-in l_5_37)
          (road l_5_1 l_6_1)
          (road l_5_2 l_6_2)
          (road l_5_3 l_6_3)
          (road l_5_4 l_6_4)
          (road l_5_5 l_6_5)
          (road l_5_6 l_6_6)
          (road l_5_7 l_6_7)
          (road l_5_8 l_6_8)
          (road l_5_9 l_6_9)
          (road l_5_10 l_6_10)
          (road l_5_11 l_6_11)
          (road l_5_12 l_6_12)
          (road l_5_13 l_6_13)
          (road l_5_14 l_6_14)
          (road l_5_15 l_6_15)
          (road l_5_16 l_6_16)
          (road l_5_17 l_6_17)
          (road l_5_18 l_6_18)
          (road l_5_19 l_6_19)
          (road l_5_20 l_6_20)
          (road l_5_21 l_6_21)
          (road l_5_22 l_6_22)
          (road l_5_23 l_6_23)
          (road l_5_24 l_6_24)
          (road l_5_25 l_6_25)
          (road l_5_26 l_6_26)
          (road l_5_27 l_6_27)
          (road l_5_28 l_6_28)
          (road l_5_29 l_6_29)
          (road l_5_30 l_6_30)
          (road l_5_31 l_6_31)
          (road l_5_32 l_6_32)
          (road l_5_33 l_6_33)
          (road l_5_34 l_6_34)
          (road l_5_35 l_6_35)
          (road l_5_36 l_6_36)
          (road l_6_1 l_5_2)
          (road l_6_2 l_5_3)
          (road l_6_3 l_5_4)
          (road l_6_4 l_5_5)
          (road l_6_5 l_5_6)
          (road l_6_6 l_5_7)
          (road l_6_7 l_5_8)
          (road l_6_8 l_5_9)
          (road l_6_9 l_5_10)
          (road l_6_10 l_5_11)
          (road l_6_11 l_5_12)
          (road l_6_12 l_5_13)
          (road l_6_13 l_5_14)
          (road l_6_14 l_5_15)
          (road l_6_15 l_5_16)
          (road l_6_16 l_5_17)
          (road l_6_17 l_5_18)
          (road l_6_18 l_5_19)
          (road l_6_19 l_5_20)
          (road l_6_20 l_5_21)
          (road l_6_21 l_5_22)
          (road l_6_22 l_5_23)
          (road l_6_23 l_5_24)
          (road l_6_24 l_5_25)
          (road l_6_25 l_5_26)
          (road l_6_26 l_5_27)
          (road l_6_27 l_5_28)
          (road l_6_28 l_5_29)
          (road l_6_29 l_5_30)
          (road l_6_30 l_5_31)
          (road l_6_31 l_5_32)
          (road l_6_32 l_5_33)
          (road l_6_33 l_5_34)
          (road l_6_34 l_5_35)
          (road l_6_35 l_5_36)
          (road l_6_36 l_5_37)
          (spare-in l_6_1)
          (spare-in l_6_2)
          (spare-in l_6_3)
          (spare-in l_6_4)
          (spare-in l_6_5)
          (spare-in l_6_6)
          (spare-in l_6_7)
          (spare-in l_6_8)
          (spare-in l_6_9)
          (spare-in l_6_10)
          (spare-in l_6_11)
          (spare-in l_6_12)
          (spare-in l_6_13)
          (spare-in l_6_14)
          (spare-in l_6_15)
          (spare-in l_6_16)
          (spare-in l_6_17)
          (spare-in l_6_18)
          (spare-in l_6_19)
          (spare-in l_6_20)
          (spare-in l_6_21)
          (spare-in l_6_22)
          (spare-in l_6_23)
          (spare-in l_6_24)
          (spare-in l_6_25)
          (spare-in l_6_26)
          (spare-in l_6_27)
          (spare-in l_6_28)
          (spare-in l_6_29)
          (spare-in l_6_30)
          (spare-in l_6_31)
          (spare-in l_6_32)
          (spare-in l_6_33)
          (spare-in l_6_34)
          (spare-in l_6_35)
          (spare-in l_6_36)
          (road l_7_1 l_7_2)
          (road l_7_2 l_7_3)
          (road l_7_3 l_7_4)
          (road l_7_4 l_7_5)
          (road l_7_5 l_7_6)
          (road l_7_6 l_7_7)
          (road l_7_7 l_7_8)
          (road l_7_8 l_7_9)
          (road l_7_9 l_7_10)
          (road l_7_10 l_7_11)
          (road l_7_11 l_7_12)
          (road l_7_12 l_7_13)
          (road l_7_13 l_7_14)
          (road l_7_14 l_7_15)
          (road l_7_15 l_7_16)
          (road l_7_16 l_7_17)
          (road l_7_17 l_7_18)
          (road l_7_18 l_7_19)
          (road l_7_19 l_7_20)
          (road l_7_20 l_7_21)
          (road l_7_21 l_7_22)
          (road l_7_22 l_7_23)
          (road l_7_23 l_7_24)
          (road l_7_24 l_7_25)
          (road l_7_25 l_7_26)
          (road l_7_26 l_7_27)
          (road l_7_27 l_7_28)
          (road l_7_28 l_7_29)
          (road l_7_29 l_7_30)
          (road l_7_30 l_7_31)
          (road l_7_31 l_7_32)
          (road l_7_32 l_7_33)
          (road l_7_33 l_7_34)
          (road l_7_34 l_7_35)
          (road l_6_1 l_7_1)
          (road l_6_3 l_7_3)
          (road l_6_5 l_7_5)
          (road l_6_7 l_7_7)
          (road l_6_9 l_7_9)
          (road l_6_11 l_7_11)
          (road l_6_13 l_7_13)
          (road l_6_15 l_7_15)
          (road l_6_17 l_7_17)
          (road l_6_19 l_7_19)
          (road l_6_21 l_7_21)
          (road l_6_23 l_7_23)
          (road l_6_25 l_7_25)
          (road l_6_27 l_7_27)
          (road l_6_29 l_7_29)
          (road l_6_31 l_7_31)
          (road l_6_33 l_7_33)
          (road l_6_35 l_7_35)
          (road l_7_1 l_6_2)
          (road l_7_3 l_6_4)
          (road l_7_5 l_6_6)
          (road l_7_7 l_6_8)
          (road l_7_9 l_6_10)
          (road l_7_11 l_6_12)
          (road l_7_13 l_6_14)
          (road l_7_15 l_6_16)
          (road l_7_17 l_6_18)
          (road l_7_19 l_6_20)
          (road l_7_21 l_6_22)
          (road l_7_23 l_6_24)
          (road l_7_25 l_6_26)
          (road l_7_27 l_6_28)
          (road l_7_29 l_6_30)
          (road l_7_31 l_6_32)
          (road l_7_33 l_6_34)
          (road l_7_35 l_6_36)
          (spare-in l_7_35)
          (spare-in l_7_1)
          (road l_7_1 l_8_1)
          (road l_7_2 l_8_2)
          (road l_7_3 l_8_3)
          (road l_7_4 l_8_4)
          (road l_7_5 l_8_5)
          (road l_7_6 l_8_6)
          (road l_7_7 l_8_7)
          (road l_7_8 l_8_8)
          (road l_7_9 l_8_9)
          (road l_7_10 l_8_10)
          (road l_7_11 l_8_11)
          (road l_7_12 l_8_12)
          (road l_7_13 l_8_13)
          (road l_7_14 l_8_14)
          (road l_7_15 l_8_15)
          (road l_7_16 l_8_16)
          (road l_7_17 l_8_17)
          (road l_7_18 l_8_18)
          (road l_7_19 l_8_19)
          (road l_7_20 l_8_20)
          (road l_7_21 l_8_21)
          (road l_7_22 l_8_22)
          (road l_7_23 l_8_23)
          (road l_7_24 l_8_24)
          (road l_7_25 l_8_25)
          (road l_7_26 l_8_26)
          (road l_7_27 l_8_27)
          (road l_7_28 l_8_28)
          (road l_7_29 l_8_29)
          (road l_7_30 l_8_30)
          (road l_7_31 l_8_31)
          (road l_7_32 l_8_32)
          (road l_7_33 l_8_33)
          (road l_7_34 l_8_34)
          (road l_8_1 l_7_2)
          (road l_8_2 l_7_3)
          (road l_8_3 l_7_4)
          (road l_8_4 l_7_5)
          (road l_8_5 l_7_6)
          (road l_8_6 l_7_7)
          (road l_8_7 l_7_8)
          (road l_8_8 l_7_9)
          (road l_8_9 l_7_10)
          (road l_8_10 l_7_11)
          (road l_8_11 l_7_12)
          (road l_8_12 l_7_13)
          (road l_8_13 l_7_14)
          (road l_8_14 l_7_15)
          (road l_8_15 l_7_16)
          (road l_8_16 l_7_17)
          (road l_8_17 l_7_18)
          (road l_8_18 l_7_19)
          (road l_8_19 l_7_20)
          (road l_8_20 l_7_21)
          (road l_8_21 l_7_22)
          (road l_8_22 l_7_23)
          (road l_8_23 l_7_24)
          (road l_8_24 l_7_25)
          (road l_8_25 l_7_26)
          (road l_8_26 l_7_27)
          (road l_8_27 l_7_28)
          (road l_8_28 l_7_29)
          (road l_8_29 l_7_30)
          (road l_8_30 l_7_31)
          (road l_8_31 l_7_32)
          (road l_8_32 l_7_33)
          (road l_8_33 l_7_34)
          (road l_8_34 l_7_35)
          (spare-in l_8_1)
          (spare-in l_8_2)
          (spare-in l_8_3)
          (spare-in l_8_4)
          (spare-in l_8_5)
          (spare-in l_8_6)
          (spare-in l_8_7)
          (spare-in l_8_8)
          (spare-in l_8_9)
          (spare-in l_8_10)
          (spare-in l_8_11)
          (spare-in l_8_12)
          (spare-in l_8_13)
          (spare-in l_8_14)
          (spare-in l_8_15)
          (spare-in l_8_16)
          (spare-in l_8_17)
          (spare-in l_8_18)
          (spare-in l_8_19)
          (spare-in l_8_20)
          (spare-in l_8_21)
          (spare-in l_8_22)
          (spare-in l_8_23)
          (spare-in l_8_24)
          (spare-in l_8_25)
          (spare-in l_8_26)
          (spare-in l_8_27)
          (spare-in l_8_28)
          (spare-in l_8_29)
          (spare-in l_8_30)
          (spare-in l_8_31)
          (spare-in l_8_32)
          (spare-in l_8_33)
          (spare-in l_8_34)
          (road l_9_1 l_9_2)
          (road l_9_2 l_9_3)
          (road l_9_3 l_9_4)
          (road l_9_4 l_9_5)
          (road l_9_5 l_9_6)
          (road l_9_6 l_9_7)
          (road l_9_7 l_9_8)
          (road l_9_8 l_9_9)
          (road l_9_9 l_9_10)
          (road l_9_10 l_9_11)
          (road l_9_11 l_9_12)
          (road l_9_12 l_9_13)
          (road l_9_13 l_9_14)
          (road l_9_14 l_9_15)
          (road l_9_15 l_9_16)
          (road l_9_16 l_9_17)
          (road l_9_17 l_9_18)
          (road l_9_18 l_9_19)
          (road l_9_19 l_9_20)
          (road l_9_20 l_9_21)
          (road l_9_21 l_9_22)
          (road l_9_22 l_9_23)
          (road l_9_23 l_9_24)
          (road l_9_24 l_9_25)
          (road l_9_25 l_9_26)
          (road l_9_26 l_9_27)
          (road l_9_27 l_9_28)
          (road l_9_28 l_9_29)
          (road l_9_29 l_9_30)
          (road l_9_30 l_9_31)
          (road l_9_31 l_9_32)
          (road l_9_32 l_9_33)
          (road l_8_1 l_9_1)
          (road l_8_3 l_9_3)
          (road l_8_5 l_9_5)
          (road l_8_7 l_9_7)
          (road l_8_9 l_9_9)
          (road l_8_11 l_9_11)
          (road l_8_13 l_9_13)
          (road l_8_15 l_9_15)
          (road l_8_17 l_9_17)
          (road l_8_19 l_9_19)
          (road l_8_21 l_9_21)
          (road l_8_23 l_9_23)
          (road l_8_25 l_9_25)
          (road l_8_27 l_9_27)
          (road l_8_29 l_9_29)
          (road l_8_31 l_9_31)
          (road l_8_33 l_9_33)
          (road l_9_1 l_8_2)
          (road l_9_3 l_8_4)
          (road l_9_5 l_8_6)
          (road l_9_7 l_8_8)
          (road l_9_9 l_8_10)
          (road l_9_11 l_8_12)
          (road l_9_13 l_8_14)
          (road l_9_15 l_8_16)
          (road l_9_17 l_8_18)
          (road l_9_19 l_8_20)
          (road l_9_21 l_8_22)
          (road l_9_23 l_8_24)
          (road l_9_25 l_8_26)
          (road l_9_27 l_8_28)
          (road l_9_29 l_8_30)
          (road l_9_31 l_8_32)
          (road l_9_33 l_8_34)
          (spare-in l_9_33)
          (spare-in l_9_1)
          (road l_9_1 l_10_1)
          (road l_9_2 l_10_2)
          (road l_9_3 l_10_3)
          (road l_9_4 l_10_4)
          (road l_9_5 l_10_5)
          (road l_9_6 l_10_6)
          (road l_9_7 l_10_7)
          (road l_9_8 l_10_8)
          (road l_9_9 l_10_9)
          (road l_9_10 l_10_10)
          (road l_9_11 l_10_11)
          (road l_9_12 l_10_12)
          (road l_9_13 l_10_13)
          (road l_9_14 l_10_14)
          (road l_9_15 l_10_15)
          (road l_9_16 l_10_16)
          (road l_9_17 l_10_17)
          (road l_9_18 l_10_18)
          (road l_9_19 l_10_19)
          (road l_9_20 l_10_20)
          (road l_9_21 l_10_21)
          (road l_9_22 l_10_22)
          (road l_9_23 l_10_23)
          (road l_9_24 l_10_24)
          (road l_9_25 l_10_25)
          (road l_9_26 l_10_26)
          (road l_9_27 l_10_27)
          (road l_9_28 l_10_28)
          (road l_9_29 l_10_29)
          (road l_9_30 l_10_30)
          (road l_9_31 l_10_31)
          (road l_9_32 l_10_32)
          (road l_10_1 l_9_2)
          (road l_10_2 l_9_3)
          (road l_10_3 l_9_4)
          (road l_10_4 l_9_5)
          (road l_10_5 l_9_6)
          (road l_10_6 l_9_7)
          (road l_10_7 l_9_8)
          (road l_10_8 l_9_9)
          (road l_10_9 l_9_10)
          (road l_10_10 l_9_11)
          (road l_10_11 l_9_12)
          (road l_10_12 l_9_13)
          (road l_10_13 l_9_14)
          (road l_10_14 l_9_15)
          (road l_10_15 l_9_16)
          (road l_10_16 l_9_17)
          (road l_10_17 l_9_18)
          (road l_10_18 l_9_19)
          (road l_10_19 l_9_20)
          (road l_10_20 l_9_21)
          (road l_10_21 l_9_22)
          (road l_10_22 l_9_23)
          (road l_10_23 l_9_24)
          (road l_10_24 l_9_25)
          (road l_10_25 l_9_26)
          (road l_10_26 l_9_27)
          (road l_10_27 l_9_28)
          (road l_10_28 l_9_29)
          (road l_10_29 l_9_30)
          (road l_10_30 l_9_31)
          (road l_10_31 l_9_32)
          (road l_10_32 l_9_33)
          (spare-in l_10_1)
          (spare-in l_10_2)
          (spare-in l_10_3)
          (spare-in l_10_4)
          (spare-in l_10_5)
          (spare-in l_10_6)
          (spare-in l_10_7)
          (spare-in l_10_8)
          (spare-in l_10_9)
          (spare-in l_10_10)
          (spare-in l_10_11)
          (spare-in l_10_12)
          (spare-in l_10_13)
          (spare-in l_10_14)
          (spare-in l_10_15)
          (spare-in l_10_16)
          (spare-in l_10_17)
          (spare-in l_10_18)
          (spare-in l_10_19)
          (spare-in l_10_20)
          (spare-in l_10_21)
          (spare-in l_10_22)
          (spare-in l_10_23)
          (spare-in l_10_24)
          (spare-in l_10_25)
          (spare-in l_10_26)
          (spare-in l_10_27)
          (spare-in l_10_28)
          (spare-in l_10_29)
          (spare-in l_10_30)
          (spare-in l_10_31)
          (spare-in l_10_32)
          (road l_11_1 l_11_2)
          (road l_11_2 l_11_3)
          (road l_11_3 l_11_4)
          (road l_11_4 l_11_5)
          (road l_11_5 l_11_6)
          (road l_11_6 l_11_7)
          (road l_11_7 l_11_8)
          (road l_11_8 l_11_9)
          (road l_11_9 l_11_10)
          (road l_11_10 l_11_11)
          (road l_11_11 l_11_12)
          (road l_11_12 l_11_13)
          (road l_11_13 l_11_14)
          (road l_11_14 l_11_15)
          (road l_11_15 l_11_16)
          (road l_11_16 l_11_17)
          (road l_11_17 l_11_18)
          (road l_11_18 l_11_19)
          (road l_11_19 l_11_20)
          (road l_11_20 l_11_21)
          (road l_11_21 l_11_22)
          (road l_11_22 l_11_23)
          (road l_11_23 l_11_24)
          (road l_11_24 l_11_25)
          (road l_11_25 l_11_26)
          (road l_11_26 l_11_27)
          (road l_11_27 l_11_28)
          (road l_11_28 l_11_29)
          (road l_11_29 l_11_30)
          (road l_11_30 l_11_31)
          (road l_10_1 l_11_1)
          (road l_10_3 l_11_3)
          (road l_10_5 l_11_5)
          (road l_10_7 l_11_7)
          (road l_10_9 l_11_9)
          (road l_10_11 l_11_11)
          (road l_10_13 l_11_13)
          (road l_10_15 l_11_15)
          (road l_10_17 l_11_17)
          (road l_10_19 l_11_19)
          (road l_10_21 l_11_21)
          (road l_10_23 l_11_23)
          (road l_10_25 l_11_25)
          (road l_10_27 l_11_27)
          (road l_10_29 l_11_29)
          (road l_10_31 l_11_31)
          (road l_11_1 l_10_2)
          (road l_11_3 l_10_4)
          (road l_11_5 l_10_6)
          (road l_11_7 l_10_8)
          (road l_11_9 l_10_10)
          (road l_11_11 l_10_12)
          (road l_11_13 l_10_14)
          (road l_11_15 l_10_16)
          (road l_11_17 l_10_18)
          (road l_11_19 l_10_20)
          (road l_11_21 l_10_22)
          (road l_11_23 l_10_24)
          (road l_11_25 l_10_26)
          (road l_11_27 l_10_28)
          (road l_11_29 l_10_30)
          (road l_11_31 l_10_32)
          (spare-in l_11_31)
          (spare-in l_11_1)
          (road l_11_1 l_12_1)
          (road l_11_2 l_12_2)
          (road l_11_3 l_12_3)
          (road l_11_4 l_12_4)
          (road l_11_5 l_12_5)
          (road l_11_6 l_12_6)
          (road l_11_7 l_12_7)
          (road l_11_8 l_12_8)
          (road l_11_9 l_12_9)
          (road l_11_10 l_12_10)
          (road l_11_11 l_12_11)
          (road l_11_12 l_12_12)
          (road l_11_13 l_12_13)
          (road l_11_14 l_12_14)
          (road l_11_15 l_12_15)
          (road l_11_16 l_12_16)
          (road l_11_17 l_12_17)
          (road l_11_18 l_12_18)
          (road l_11_19 l_12_19)
          (road l_11_20 l_12_20)
          (road l_11_21 l_12_21)
          (road l_11_22 l_12_22)
          (road l_11_23 l_12_23)
          (road l_11_24 l_12_24)
          (road l_11_25 l_12_25)
          (road l_11_26 l_12_26)
          (road l_11_27 l_12_27)
          (road l_11_28 l_12_28)
          (road l_11_29 l_12_29)
          (road l_11_30 l_12_30)
          (road l_12_1 l_11_2)
          (road l_12_2 l_11_3)
          (road l_12_3 l_11_4)
          (road l_12_4 l_11_5)
          (road l_12_5 l_11_6)
          (road l_12_6 l_11_7)
          (road l_12_7 l_11_8)
          (road l_12_8 l_11_9)
          (road l_12_9 l_11_10)
          (road l_12_10 l_11_11)
          (road l_12_11 l_11_12)
          (road l_12_12 l_11_13)
          (road l_12_13 l_11_14)
          (road l_12_14 l_11_15)
          (road l_12_15 l_11_16)
          (road l_12_16 l_11_17)
          (road l_12_17 l_11_18)
          (road l_12_18 l_11_19)
          (road l_12_19 l_11_20)
          (road l_12_20 l_11_21)
          (road l_12_21 l_11_22)
          (road l_12_22 l_11_23)
          (road l_12_23 l_11_24)
          (road l_12_24 l_11_25)
          (road l_12_25 l_11_26)
          (road l_12_26 l_11_27)
          (road l_12_27 l_11_28)
          (road l_12_28 l_11_29)
          (road l_12_29 l_11_30)
          (road l_12_30 l_11_31)
          (spare-in l_12_1)
          (spare-in l_12_2)
          (spare-in l_12_3)
          (spare-in l_12_4)
          (spare-in l_12_5)
          (spare-in l_12_6)
          (spare-in l_12_7)
          (spare-in l_12_8)
          (spare-in l_12_9)
          (spare-in l_12_10)
          (spare-in l_12_11)
          (spare-in l_12_12)
          (spare-in l_12_13)
          (spare-in l_12_14)
          (spare-in l_12_15)
          (spare-in l_12_16)
          (spare-in l_12_17)
          (spare-in l_12_18)
          (spare-in l_12_19)
          (spare-in l_12_20)
          (spare-in l_12_21)
          (spare-in l_12_22)
          (spare-in l_12_23)
          (spare-in l_12_24)
          (spare-in l_12_25)
          (spare-in l_12_26)
          (spare-in l_12_27)
          (spare-in l_12_28)
          (spare-in l_12_29)
          (spare-in l_12_30)
          (road l_13_1 l_13_2)
          (road l_13_2 l_13_3)
          (road l_13_3 l_13_4)
          (road l_13_4 l_13_5)
          (road l_13_5 l_13_6)
          (road l_13_6 l_13_7)
          (road l_13_7 l_13_8)
          (road l_13_8 l_13_9)
          (road l_13_9 l_13_10)
          (road l_13_10 l_13_11)
          (road l_13_11 l_13_12)
          (road l_13_12 l_13_13)
          (road l_13_13 l_13_14)
          (road l_13_14 l_13_15)
          (road l_13_15 l_13_16)
          (road l_13_16 l_13_17)
          (road l_13_17 l_13_18)
          (road l_13_18 l_13_19)
          (road l_13_19 l_13_20)
          (road l_13_20 l_13_21)
          (road l_13_21 l_13_22)
          (road l_13_22 l_13_23)
          (road l_13_23 l_13_24)
          (road l_13_24 l_13_25)
          (road l_13_25 l_13_26)
          (road l_13_26 l_13_27)
          (road l_13_27 l_13_28)
          (road l_13_28 l_13_29)
          (road l_12_1 l_13_1)
          (road l_12_3 l_13_3)
          (road l_12_5 l_13_5)
          (road l_12_7 l_13_7)
          (road l_12_9 l_13_9)
          (road l_12_11 l_13_11)
          (road l_12_13 l_13_13)
          (road l_12_15 l_13_15)
          (road l_12_17 l_13_17)
          (road l_12_19 l_13_19)
          (road l_12_21 l_13_21)
          (road l_12_23 l_13_23)
          (road l_12_25 l_13_25)
          (road l_12_27 l_13_27)
          (road l_12_29 l_13_29)
          (road l_13_1 l_12_2)
          (road l_13_3 l_12_4)
          (road l_13_5 l_12_6)
          (road l_13_7 l_12_8)
          (road l_13_9 l_12_10)
          (road l_13_11 l_12_12)
          (road l_13_13 l_12_14)
          (road l_13_15 l_12_16)
          (road l_13_17 l_12_18)
          (road l_13_19 l_12_20)
          (road l_13_21 l_12_22)
          (road l_13_23 l_12_24)
          (road l_13_25 l_12_26)
          (road l_13_27 l_12_28)
          (road l_13_29 l_12_30)
          (spare-in l_13_29)
          (spare-in l_13_1)
          (road l_13_1 l_14_1)
          (road l_13_2 l_14_2)
          (road l_13_3 l_14_3)
          (road l_13_4 l_14_4)
          (road l_13_5 l_14_5)
          (road l_13_6 l_14_6)
          (road l_13_7 l_14_7)
          (road l_13_8 l_14_8)
          (road l_13_9 l_14_9)
          (road l_13_10 l_14_10)
          (road l_13_11 l_14_11)
          (road l_13_12 l_14_12)
          (road l_13_13 l_14_13)
          (road l_13_14 l_14_14)
          (road l_13_15 l_14_15)
          (road l_13_16 l_14_16)
          (road l_13_17 l_14_17)
          (road l_13_18 l_14_18)
          (road l_13_19 l_14_19)
          (road l_13_20 l_14_20)
          (road l_13_21 l_14_21)
          (road l_13_22 l_14_22)
          (road l_13_23 l_14_23)
          (road l_13_24 l_14_24)
          (road l_13_25 l_14_25)
          (road l_13_26 l_14_26)
          (road l_13_27 l_14_27)
          (road l_13_28 l_14_28)
          (road l_14_1 l_13_2)
          (road l_14_2 l_13_3)
          (road l_14_3 l_13_4)
          (road l_14_4 l_13_5)
          (road l_14_5 l_13_6)
          (road l_14_6 l_13_7)
          (road l_14_7 l_13_8)
          (road l_14_8 l_13_9)
          (road l_14_9 l_13_10)
          (road l_14_10 l_13_11)
          (road l_14_11 l_13_12)
          (road l_14_12 l_13_13)
          (road l_14_13 l_13_14)
          (road l_14_14 l_13_15)
          (road l_14_15 l_13_16)
          (road l_14_16 l_13_17)
          (road l_14_17 l_13_18)
          (road l_14_18 l_13_19)
          (road l_14_19 l_13_20)
          (road l_14_20 l_13_21)
          (road l_14_21 l_13_22)
          (road l_14_22 l_13_23)
          (road l_14_23 l_13_24)
          (road l_14_24 l_13_25)
          (road l_14_25 l_13_26)
          (road l_14_26 l_13_27)
          (road l_14_27 l_13_28)
          (road l_14_28 l_13_29)
          (spare-in l_14_1)
          (spare-in l_14_2)
          (spare-in l_14_3)
          (spare-in l_14_4)
          (spare-in l_14_5)
          (spare-in l_14_6)
          (spare-in l_14_7)
          (spare-in l_14_8)
          (spare-in l_14_9)
          (spare-in l_14_10)
          (spare-in l_14_11)
          (spare-in l_14_12)
          (spare-in l_14_13)
          (spare-in l_14_14)
          (spare-in l_14_15)
          (spare-in l_14_16)
          (spare-in l_14_17)
          (spare-in l_14_18)
          (spare-in l_14_19)
          (spare-in l_14_20)
          (spare-in l_14_21)
          (spare-in l_14_22)
          (spare-in l_14_23)
          (spare-in l_14_24)
          (spare-in l_14_25)
          (spare-in l_14_26)
          (spare-in l_14_27)
          (spare-in l_14_28)
          (road l_15_1 l_15_2)
          (road l_15_2 l_15_3)
          (road l_15_3 l_15_4)
          (road l_15_4 l_15_5)
          (road l_15_5 l_15_6)
          (road l_15_6 l_15_7)
          (road l_15_7 l_15_8)
          (road l_15_8 l_15_9)
          (road l_15_9 l_15_10)
          (road l_15_10 l_15_11)
          (road l_15_11 l_15_12)
          (road l_15_12 l_15_13)
          (road l_15_13 l_15_14)
          (road l_15_14 l_15_15)
          (road l_15_15 l_15_16)
          (road l_15_16 l_15_17)
          (road l_15_17 l_15_18)
          (road l_15_18 l_15_19)
          (road l_15_19 l_15_20)
          (road l_15_20 l_15_21)
          (road l_15_21 l_15_22)
          (road l_15_22 l_15_23)
          (road l_15_23 l_15_24)
          (road l_15_24 l_15_25)
          (road l_15_25 l_15_26)
          (road l_15_26 l_15_27)
          (road l_14_1 l_15_1)
          (road l_14_3 l_15_3)
          (road l_14_5 l_15_5)
          (road l_14_7 l_15_7)
          (road l_14_9 l_15_9)
          (road l_14_11 l_15_11)
          (road l_14_13 l_15_13)
          (road l_14_15 l_15_15)
          (road l_14_17 l_15_17)
          (road l_14_19 l_15_19)
          (road l_14_21 l_15_21)
          (road l_14_23 l_15_23)
          (road l_14_25 l_15_25)
          (road l_14_27 l_15_27)
          (road l_15_1 l_14_2)
          (road l_15_3 l_14_4)
          (road l_15_5 l_14_6)
          (road l_15_7 l_14_8)
          (road l_15_9 l_14_10)
          (road l_15_11 l_14_12)
          (road l_15_13 l_14_14)
          (road l_15_15 l_14_16)
          (road l_15_17 l_14_18)
          (road l_15_19 l_14_20)
          (road l_15_21 l_14_22)
          (road l_15_23 l_14_24)
          (road l_15_25 l_14_26)
          (road l_15_27 l_14_28)
          (spare-in l_15_27)
          (spare-in l_15_1)
          (road l_15_1 l_16_1)
          (road l_15_2 l_16_2)
          (road l_15_3 l_16_3)
          (road l_15_4 l_16_4)
          (road l_15_5 l_16_5)
          (road l_15_6 l_16_6)
          (road l_15_7 l_16_7)
          (road l_15_8 l_16_8)
          (road l_15_9 l_16_9)
          (road l_15_10 l_16_10)
          (road l_15_11 l_16_11)
          (road l_15_12 l_16_12)
          (road l_15_13 l_16_13)
          (road l_15_14 l_16_14)
          (road l_15_15 l_16_15)
          (road l_15_16 l_16_16)
          (road l_15_17 l_16_17)
          (road l_15_18 l_16_18)
          (road l_15_19 l_16_19)
          (road l_15_20 l_16_20)
          (road l_15_21 l_16_21)
          (road l_15_22 l_16_22)
          (road l_15_23 l_16_23)
          (road l_15_24 l_16_24)
          (road l_15_25 l_16_25)
          (road l_15_26 l_16_26)
          (road l_16_1 l_15_2)
          (road l_16_2 l_15_3)
          (road l_16_3 l_15_4)
          (road l_16_4 l_15_5)
          (road l_16_5 l_15_6)
          (road l_16_6 l_15_7)
          (road l_16_7 l_15_8)
          (road l_16_8 l_15_9)
          (road l_16_9 l_15_10)
          (road l_16_10 l_15_11)
          (road l_16_11 l_15_12)
          (road l_16_12 l_15_13)
          (road l_16_13 l_15_14)
          (road l_16_14 l_15_15)
          (road l_16_15 l_15_16)
          (road l_16_16 l_15_17)
          (road l_16_17 l_15_18)
          (road l_16_18 l_15_19)
          (road l_16_19 l_15_20)
          (road l_16_20 l_15_21)
          (road l_16_21 l_15_22)
          (road l_16_22 l_15_23)
          (road l_16_23 l_15_24)
          (road l_16_24 l_15_25)
          (road l_16_25 l_15_26)
          (road l_16_26 l_15_27)
          (spare-in l_16_1)
          (spare-in l_16_2)
          (spare-in l_16_3)
          (spare-in l_16_4)
          (spare-in l_16_5)
          (spare-in l_16_6)
          (spare-in l_16_7)
          (spare-in l_16_8)
          (spare-in l_16_9)
          (spare-in l_16_10)
          (spare-in l_16_11)
          (spare-in l_16_12)
          (spare-in l_16_13)
          (spare-in l_16_14)
          (spare-in l_16_15)
          (spare-in l_16_16)
          (spare-in l_16_17)
          (spare-in l_16_18)
          (spare-in l_16_19)
          (spare-in l_16_20)
          (spare-in l_16_21)
          (spare-in l_16_22)
          (spare-in l_16_23)
          (spare-in l_16_24)
          (spare-in l_16_25)
          (spare-in l_16_26)
          (road l_17_1 l_17_2)
          (road l_17_2 l_17_3)
          (road l_17_3 l_17_4)
          (road l_17_4 l_17_5)
          (road l_17_5 l_17_6)
          (road l_17_6 l_17_7)
          (road l_17_7 l_17_8)
          (road l_17_8 l_17_9)
          (road l_17_9 l_17_10)
          (road l_17_10 l_17_11)
          (road l_17_11 l_17_12)
          (road l_17_12 l_17_13)
          (road l_17_13 l_17_14)
          (road l_17_14 l_17_15)
          (road l_17_15 l_17_16)
          (road l_17_16 l_17_17)
          (road l_17_17 l_17_18)
          (road l_17_18 l_17_19)
          (road l_17_19 l_17_20)
          (road l_17_20 l_17_21)
          (road l_17_21 l_17_22)
          (road l_17_22 l_17_23)
          (road l_17_23 l_17_24)
          (road l_17_24 l_17_25)
          (road l_16_1 l_17_1)
          (road l_16_3 l_17_3)
          (road l_16_5 l_17_5)
          (road l_16_7 l_17_7)
          (road l_16_9 l_17_9)
          (road l_16_11 l_17_11)
          (road l_16_13 l_17_13)
          (road l_16_15 l_17_15)
          (road l_16_17 l_17_17)
          (road l_16_19 l_17_19)
          (road l_16_21 l_17_21)
          (road l_16_23 l_17_23)
          (road l_16_25 l_17_25)
          (road l_17_1 l_16_2)
          (road l_17_3 l_16_4)
          (road l_17_5 l_16_6)
          (road l_17_7 l_16_8)
          (road l_17_9 l_16_10)
          (road l_17_11 l_16_12)
          (road l_17_13 l_16_14)
          (road l_17_15 l_16_16)
          (road l_17_17 l_16_18)
          (road l_17_19 l_16_20)
          (road l_17_21 l_16_22)
          (road l_17_23 l_16_24)
          (road l_17_25 l_16_26)
          (spare-in l_17_25)
          (spare-in l_17_1)
          (road l_17_1 l_18_1)
          (road l_17_2 l_18_2)
          (road l_17_3 l_18_3)
          (road l_17_4 l_18_4)
          (road l_17_5 l_18_5)
          (road l_17_6 l_18_6)
          (road l_17_7 l_18_7)
          (road l_17_8 l_18_8)
          (road l_17_9 l_18_9)
          (road l_17_10 l_18_10)
          (road l_17_11 l_18_11)
          (road l_17_12 l_18_12)
          (road l_17_13 l_18_13)
          (road l_17_14 l_18_14)
          (road l_17_15 l_18_15)
          (road l_17_16 l_18_16)
          (road l_17_17 l_18_17)
          (road l_17_18 l_18_18)
          (road l_17_19 l_18_19)
          (road l_17_20 l_18_20)
          (road l_17_21 l_18_21)
          (road l_17_22 l_18_22)
          (road l_17_23 l_18_23)
          (road l_17_24 l_18_24)
          (road l_18_1 l_17_2)
          (road l_18_2 l_17_3)
          (road l_18_3 l_17_4)
          (road l_18_4 l_17_5)
          (road l_18_5 l_17_6)
          (road l_18_6 l_17_7)
          (road l_18_7 l_17_8)
          (road l_18_8 l_17_9)
          (road l_18_9 l_17_10)
          (road l_18_10 l_17_11)
          (road l_18_11 l_17_12)
          (road l_18_12 l_17_13)
          (road l_18_13 l_17_14)
          (road l_18_14 l_17_15)
          (road l_18_15 l_17_16)
          (road l_18_16 l_17_17)
          (road l_18_17 l_17_18)
          (road l_18_18 l_17_19)
          (road l_18_19 l_17_20)
          (road l_18_20 l_17_21)
          (road l_18_21 l_17_22)
          (road l_18_22 l_17_23)
          (road l_18_23 l_17_24)
          (road l_18_24 l_17_25)
          (spare-in l_18_1)
          (spare-in l_18_2)
          (spare-in l_18_3)
          (spare-in l_18_4)
          (spare-in l_18_5)
          (spare-in l_18_6)
          (spare-in l_18_7)
          (spare-in l_18_8)
          (spare-in l_18_9)
          (spare-in l_18_10)
          (spare-in l_18_11)
          (spare-in l_18_12)
          (spare-in l_18_13)
          (spare-in l_18_14)
          (spare-in l_18_15)
          (spare-in l_18_16)
          (spare-in l_18_17)
          (spare-in l_18_18)
          (spare-in l_18_19)
          (spare-in l_18_20)
          (spare-in l_18_21)
          (spare-in l_18_22)
          (spare-in l_18_23)
          (spare-in l_18_24)
          (road l_19_1 l_19_2)
          (road l_19_2 l_19_3)
          (road l_19_3 l_19_4)
          (road l_19_4 l_19_5)
          (road l_19_5 l_19_6)
          (road l_19_6 l_19_7)
          (road l_19_7 l_19_8)
          (road l_19_8 l_19_9)
          (road l_19_9 l_19_10)
          (road l_19_10 l_19_11)
          (road l_19_11 l_19_12)
          (road l_19_12 l_19_13)
          (road l_19_13 l_19_14)
          (road l_19_14 l_19_15)
          (road l_19_15 l_19_16)
          (road l_19_16 l_19_17)
          (road l_19_17 l_19_18)
          (road l_19_18 l_19_19)
          (road l_19_19 l_19_20)
          (road l_19_20 l_19_21)
          (road l_19_21 l_19_22)
          (road l_19_22 l_19_23)
          (road l_18_1 l_19_1)
          (road l_18_3 l_19_3)
          (road l_18_5 l_19_5)
          (road l_18_7 l_19_7)
          (road l_18_9 l_19_9)
          (road l_18_11 l_19_11)
          (road l_18_13 l_19_13)
          (road l_18_15 l_19_15)
          (road l_18_17 l_19_17)
          (road l_18_19 l_19_19)
          (road l_18_21 l_19_21)
          (road l_18_23 l_19_23)
          (road l_19_1 l_18_2)
          (road l_19_3 l_18_4)
          (road l_19_5 l_18_6)
          (road l_19_7 l_18_8)
          (road l_19_9 l_18_10)
          (road l_19_11 l_18_12)
          (road l_19_13 l_18_14)
          (road l_19_15 l_18_16)
          (road l_19_17 l_18_18)
          (road l_19_19 l_18_20)
          (road l_19_21 l_18_22)
          (road l_19_23 l_18_24)
          (spare-in l_19_23)
          (spare-in l_19_1)
          (road l_19_1 l_20_1)
          (road l_19_2 l_20_2)
          (road l_19_3 l_20_3)
          (road l_19_4 l_20_4)
          (road l_19_5 l_20_5)
          (road l_19_6 l_20_6)
          (road l_19_7 l_20_7)
          (road l_19_8 l_20_8)
          (road l_19_9 l_20_9)
          (road l_19_10 l_20_10)
          (road l_19_11 l_20_11)
          (road l_19_12 l_20_12)
          (road l_19_13 l_20_13)
          (road l_19_14 l_20_14)
          (road l_19_15 l_20_15)
          (road l_19_16 l_20_16)
          (road l_19_17 l_20_17)
          (road l_19_18 l_20_18)
          (road l_19_19 l_20_19)
          (road l_19_20 l_20_20)
          (road l_19_21 l_20_21)
          (road l_19_22 l_20_22)
          (road l_20_1 l_19_2)
          (road l_20_2 l_19_3)
          (road l_20_3 l_19_4)
          (road l_20_4 l_19_5)
          (road l_20_5 l_19_6)
          (road l_20_6 l_19_7)
          (road l_20_7 l_19_8)
          (road l_20_8 l_19_9)
          (road l_20_9 l_19_10)
          (road l_20_10 l_19_11)
          (road l_20_11 l_19_12)
          (road l_20_12 l_19_13)
          (road l_20_13 l_19_14)
          (road l_20_14 l_19_15)
          (road l_20_15 l_19_16)
          (road l_20_16 l_19_17)
          (road l_20_17 l_19_18)
          (road l_20_18 l_19_19)
          (road l_20_19 l_19_20)
          (road l_20_20 l_19_21)
          (road l_20_21 l_19_22)
          (road l_20_22 l_19_23)
          (spare-in l_20_1)
          (spare-in l_20_2)
          (spare-in l_20_3)
          (spare-in l_20_4)
          (spare-in l_20_5)
          (spare-in l_20_6)
          (spare-in l_20_7)
          (spare-in l_20_8)
          (spare-in l_20_9)
          (spare-in l_20_10)
          (spare-in l_20_11)
          (spare-in l_20_12)
          (spare-in l_20_13)
          (spare-in l_20_14)
          (spare-in l_20_15)
          (spare-in l_20_16)
          (spare-in l_20_17)
          (spare-in l_20_18)
          (spare-in l_20_19)
          (spare-in l_20_20)
          (spare-in l_20_21)
          (spare-in l_20_22)
          (road l_21_1 l_21_2)
          (road l_21_2 l_21_3)
          (road l_21_3 l_21_4)
          (road l_21_4 l_21_5)
          (road l_21_5 l_21_6)
          (road l_21_6 l_21_7)
          (road l_21_7 l_21_8)
          (road l_21_8 l_21_9)
          (road l_21_9 l_21_10)
          (road l_21_10 l_21_11)
          (road l_21_11 l_21_12)
          (road l_21_12 l_21_13)
          (road l_21_13 l_21_14)
          (road l_21_14 l_21_15)
          (road l_21_15 l_21_16)
          (road l_21_16 l_21_17)
          (road l_21_17 l_21_18)
          (road l_21_18 l_21_19)
          (road l_21_19 l_21_20)
          (road l_21_20 l_21_21)
          (road l_20_1 l_21_1)
          (road l_20_3 l_21_3)
          (road l_20_5 l_21_5)
          (road l_20_7 l_21_7)
          (road l_20_9 l_21_9)
          (road l_20_11 l_21_11)
          (road l_20_13 l_21_13)
          (road l_20_15 l_21_15)
          (road l_20_17 l_21_17)
          (road l_20_19 l_21_19)
          (road l_20_21 l_21_21)
          (road l_21_1 l_20_2)
          (road l_21_3 l_20_4)
          (road l_21_5 l_20_6)
          (road l_21_7 l_20_8)
          (road l_21_9 l_20_10)
          (road l_21_11 l_20_12)
          (road l_21_13 l_20_14)
          (road l_21_15 l_20_16)
          (road l_21_17 l_20_18)
          (road l_21_19 l_20_20)
          (road l_21_21 l_20_22)
          (spare-in l_21_1)
          (spare-in l_21_21)
          (road l_21_1 l_22_1)
          (road l_21_2 l_22_2)
          (road l_21_3 l_22_3)
          (road l_21_4 l_22_4)
          (road l_21_5 l_22_5)
          (road l_21_6 l_22_6)
          (road l_21_7 l_22_7)
          (road l_21_8 l_22_8)
          (road l_21_9 l_22_9)
          (road l_21_10 l_22_10)
          (road l_21_11 l_22_11)
          (road l_21_12 l_22_12)
          (road l_21_13 l_22_13)
          (road l_21_14 l_22_14)
          (road l_21_15 l_22_15)
          (road l_21_16 l_22_16)
          (road l_21_17 l_22_17)
          (road l_21_18 l_22_18)
          (road l_21_19 l_22_19)
          (road l_21_20 l_22_20)
          (road l_22_1 l_21_2)
          (road l_22_2 l_21_3)
          (road l_22_3 l_21_4)
          (road l_22_4 l_21_5)
          (road l_22_5 l_21_6)
          (road l_22_6 l_21_7)
          (road l_22_7 l_21_8)
          (road l_22_8 l_21_9)
          (road l_22_9 l_21_10)
          (road l_22_10 l_21_11)
          (road l_22_11 l_21_12)
          (road l_22_12 l_21_13)
          (road l_22_13 l_21_14)
          (road l_22_14 l_21_15)
          (road l_22_15 l_21_16)
          (road l_22_16 l_21_17)
          (road l_22_17 l_21_18)
          (road l_22_18 l_21_19)
          (road l_22_19 l_21_20)
          (road l_22_20 l_21_21)
          (spare-in l_22_1)
          (spare-in l_22_2)
          (spare-in l_22_3)
          (spare-in l_22_4)
          (spare-in l_22_5)
          (spare-in l_22_6)
          (spare-in l_22_7)
          (spare-in l_22_8)
          (spare-in l_22_9)
          (spare-in l_22_10)
          (spare-in l_22_11)
          (spare-in l_22_12)
          (spare-in l_22_13)
          (spare-in l_22_14)
          (spare-in l_22_15)
          (spare-in l_22_16)
          (spare-in l_22_17)
          (spare-in l_22_18)
          (spare-in l_22_19)
          (spare-in l_22_20)
          (road l_23_1 l_23_2)
          (road l_23_2 l_23_3)
          (road l_23_3 l_23_4)
          (road l_23_4 l_23_5)
          (road l_23_5 l_23_6)
          (road l_23_6 l_23_7)
          (road l_23_7 l_23_8)
          (road l_23_8 l_23_9)
          (road l_23_9 l_23_10)
          (road l_23_10 l_23_11)
          (road l_23_11 l_23_12)
          (road l_23_12 l_23_13)
          (road l_23_13 l_23_14)
          (road l_23_14 l_23_15)
          (road l_23_15 l_23_16)
          (road l_23_16 l_23_17)
          (road l_23_17 l_23_18)
          (road l_23_18 l_23_19)
          (road l_22_1 l_23_1)
          (road l_22_3 l_23_3)
          (road l_22_5 l_23_5)
          (road l_22_7 l_23_7)
          (road l_22_9 l_23_9)
          (road l_22_11 l_23_11)
          (road l_22_13 l_23_13)
          (road l_22_15 l_23_15)
          (road l_22_17 l_23_17)
          (road l_22_19 l_23_19)
          (road l_23_1 l_22_2)
          (road l_23_3 l_22_4)
          (road l_23_5 l_22_6)
          (road l_23_7 l_22_8)
          (road l_23_9 l_22_10)
          (road l_23_11 l_22_12)
          (road l_23_13 l_22_14)
          (road l_23_15 l_22_16)
          (road l_23_17 l_22_18)
          (road l_23_19 l_22_20)
          (spare-in l_23_19)
          (spare-in l_23_1)
          (road l_23_1 l_24_1)
          (road l_23_2 l_24_2)
          (road l_23_3 l_24_3)
          (road l_23_4 l_24_4)
          (road l_23_5 l_24_5)
          (road l_23_6 l_24_6)
          (road l_23_7 l_24_7)
          (road l_23_8 l_24_8)
          (road l_23_9 l_24_9)
          (road l_23_10 l_24_10)
          (road l_23_11 l_24_11)
          (road l_23_12 l_24_12)
          (road l_23_13 l_24_13)
          (road l_23_14 l_24_14)
          (road l_23_15 l_24_15)
          (road l_23_16 l_24_16)
          (road l_23_17 l_24_17)
          (road l_23_18 l_24_18)
          (road l_24_1 l_23_2)
          (road l_24_2 l_23_3)
          (road l_24_3 l_23_4)
          (road l_24_4 l_23_5)
          (road l_24_5 l_23_6)
          (road l_24_6 l_23_7)
          (road l_24_7 l_23_8)
          (road l_24_8 l_23_9)
          (road l_24_9 l_23_10)
          (road l_24_10 l_23_11)
          (road l_24_11 l_23_12)
          (road l_24_12 l_23_13)
          (road l_24_13 l_23_14)
          (road l_24_14 l_23_15)
          (road l_24_15 l_23_16)
          (road l_24_16 l_23_17)
          (road l_24_17 l_23_18)
          (road l_24_18 l_23_19)
          (spare-in l_24_1)
          (spare-in l_24_2)
          (spare-in l_24_3)
          (spare-in l_24_4)
          (spare-in l_24_5)
          (spare-in l_24_6)
          (spare-in l_24_7)
          (spare-in l_24_8)
          (spare-in l_24_9)
          (spare-in l_24_10)
          (spare-in l_24_11)
          (spare-in l_24_12)
          (spare-in l_24_13)
          (spare-in l_24_14)
          (spare-in l_24_15)
          (spare-in l_24_16)
          (spare-in l_24_17)
          (spare-in l_24_18)
          (road l_25_1 l_25_2)
          (road l_25_2 l_25_3)
          (road l_25_3 l_25_4)
          (road l_25_4 l_25_5)
          (road l_25_5 l_25_6)
          (road l_25_6 l_25_7)
          (road l_25_7 l_25_8)
          (road l_25_8 l_25_9)
          (road l_25_9 l_25_10)
          (road l_25_10 l_25_11)
          (road l_25_11 l_25_12)
          (road l_25_12 l_25_13)
          (road l_25_13 l_25_14)
          (road l_25_14 l_25_15)
          (road l_25_15 l_25_16)
          (road l_25_16 l_25_17)
          (road l_24_1 l_25_1)
          (road l_24_3 l_25_3)
          (road l_24_5 l_25_5)
          (road l_24_7 l_25_7)
          (road l_24_9 l_25_9)
          (road l_24_11 l_25_11)
          (road l_24_13 l_25_13)
          (road l_24_15 l_25_15)
          (road l_24_17 l_25_17)
          (road l_25_1 l_24_2)
          (road l_25_3 l_24_4)
          (road l_25_5 l_24_6)
          (road l_25_7 l_24_8)
          (road l_25_9 l_24_10)
          (road l_25_11 l_24_12)
          (road l_25_13 l_24_14)
          (road l_25_15 l_24_16)
          (road l_25_17 l_24_18)
          (spare-in l_25_1)
          (spare-in l_25_17)
          (road l_25_1 l_26_1)
          (road l_25_2 l_26_2)
          (road l_25_3 l_26_3)
          (road l_25_4 l_26_4)
          (road l_25_5 l_26_5)
          (road l_25_6 l_26_6)
          (road l_25_7 l_26_7)
          (road l_25_8 l_26_8)
          (road l_25_9 l_26_9)
          (road l_25_10 l_26_10)
          (road l_25_11 l_26_11)
          (road l_25_12 l_26_12)
          (road l_25_13 l_26_13)
          (road l_25_14 l_26_14)
          (road l_25_15 l_26_15)
          (road l_25_16 l_26_16)
          (road l_26_1 l_25_2)
          (road l_26_2 l_25_3)
          (road l_26_3 l_25_4)
          (road l_26_4 l_25_5)
          (road l_26_5 l_25_6)
          (road l_26_6 l_25_7)
          (road l_26_7 l_25_8)
          (road l_26_8 l_25_9)
          (road l_26_9 l_25_10)
          (road l_26_10 l_25_11)
          (road l_26_11 l_25_12)
          (road l_26_12 l_25_13)
          (road l_26_13 l_25_14)
          (road l_26_14 l_25_15)
          (road l_26_15 l_25_16)
          (road l_26_16 l_25_17)
          (spare-in l_26_1)
          (spare-in l_26_2)
          (spare-in l_26_3)
          (spare-in l_26_4)
          (spare-in l_26_5)
          (spare-in l_26_6)
          (spare-in l_26_7)
          (spare-in l_26_8)
          (spare-in l_26_9)
          (spare-in l_26_10)
          (spare-in l_26_11)
          (spare-in l_26_12)
          (spare-in l_26_13)
          (spare-in l_26_14)
          (spare-in l_26_15)
          (spare-in l_26_16)
          (road l_27_1 l_27_2)
          (road l_27_2 l_27_3)
          (road l_27_3 l_27_4)
          (road l_27_4 l_27_5)
          (road l_27_5 l_27_6)
          (road l_27_6 l_27_7)
          (road l_27_7 l_27_8)
          (road l_27_8 l_27_9)
          (road l_27_9 l_27_10)
          (road l_27_10 l_27_11)
          (road l_27_11 l_27_12)
          (road l_27_12 l_27_13)
          (road l_27_13 l_27_14)
          (road l_27_14 l_27_15)
          (road l_26_1 l_27_1)
          (road l_26_3 l_27_3)
          (road l_26_5 l_27_5)
          (road l_26_7 l_27_7)
          (road l_26_9 l_27_9)
          (road l_26_11 l_27_11)
          (road l_26_13 l_27_13)
          (road l_26_15 l_27_15)
          (road l_27_1 l_26_2)
          (road l_27_3 l_26_4)
          (road l_27_5 l_26_6)
          (road l_27_7 l_26_8)
          (road l_27_9 l_26_10)
          (road l_27_11 l_26_12)
          (road l_27_13 l_26_14)
          (road l_27_15 l_26_16)
          (spare-in l_27_1)
          (spare-in l_27_15)
          (road l_27_1 l_28_1)
          (road l_27_2 l_28_2)
          (road l_27_3 l_28_3)
          (road l_27_4 l_28_4)
          (road l_27_5 l_28_5)
          (road l_27_6 l_28_6)
          (road l_27_7 l_28_7)
          (road l_27_8 l_28_8)
          (road l_27_9 l_28_9)
          (road l_27_10 l_28_10)
          (road l_27_11 l_28_11)
          (road l_27_12 l_28_12)
          (road l_27_13 l_28_13)
          (road l_27_14 l_28_14)
          (road l_28_1 l_27_2)
          (road l_28_2 l_27_3)
          (road l_28_3 l_27_4)
          (road l_28_4 l_27_5)
          (road l_28_5 l_27_6)
          (road l_28_6 l_27_7)
          (road l_28_7 l_27_8)
          (road l_28_8 l_27_9)
          (road l_28_9 l_27_10)
          (road l_28_10 l_27_11)
          (road l_28_11 l_27_12)
          (road l_28_12 l_27_13)
          (road l_28_13 l_27_14)
          (road l_28_14 l_27_15)
          (spare-in l_28_1)
          (spare-in l_28_2)
          (spare-in l_28_3)
          (spare-in l_28_4)
          (spare-in l_28_5)
          (spare-in l_28_6)
          (spare-in l_28_7)
          (spare-in l_28_8)
          (spare-in l_28_9)
          (spare-in l_28_10)
          (spare-in l_28_11)
          (spare-in l_28_12)
          (spare-in l_28_13)
          (spare-in l_28_14)
          (road l_29_1 l_29_2)
          (road l_29_2 l_29_3)
          (road l_29_3 l_29_4)
          (road l_29_4 l_29_5)
          (road l_29_5 l_29_6)
          (road l_29_6 l_29_7)
          (road l_29_7 l_29_8)
          (road l_29_8 l_29_9)
          (road l_29_9 l_29_10)
          (road l_29_10 l_29_11)
          (road l_29_11 l_29_12)
          (road l_29_12 l_29_13)
          (road l_28_1 l_29_1)
          (road l_28_3 l_29_3)
          (road l_28_5 l_29_5)
          (road l_28_7 l_29_7)
          (road l_28_9 l_29_9)
          (road l_28_11 l_29_11)
          (road l_28_13 l_29_13)
          (road l_29_1 l_28_2)
          (road l_29_3 l_28_4)
          (road l_29_5 l_28_6)
          (road l_29_7 l_28_8)
          (road l_29_9 l_28_10)
          (road l_29_11 l_28_12)
          (road l_29_13 l_28_14)
          (spare-in l_29_1)
          (spare-in l_29_13)
          (road l_29_1 l_30_1)
          (road l_29_2 l_30_2)
          (road l_29_3 l_30_3)
          (road l_29_4 l_30_4)
          (road l_29_5 l_30_5)
          (road l_29_6 l_30_6)
          (road l_29_7 l_30_7)
          (road l_29_8 l_30_8)
          (road l_29_9 l_30_9)
          (road l_29_10 l_30_10)
          (road l_29_11 l_30_11)
          (road l_29_12 l_30_12)
          (road l_30_1 l_29_2)
          (road l_30_2 l_29_3)
          (road l_30_3 l_29_4)
          (road l_30_4 l_29_5)
          (road l_30_5 l_29_6)
          (road l_30_6 l_29_7)
          (road l_30_7 l_29_8)
          (road l_30_8 l_29_9)
          (road l_30_9 l_29_10)
          (road l_30_10 l_29_11)
          (road l_30_11 l_29_12)
          (road l_30_12 l_29_13)
          (spare-in l_30_1)
          (spare-in l_30_2)
          (spare-in l_30_3)
          (spare-in l_30_4)
          (spare-in l_30_5)
          (spare-in l_30_6)
          (spare-in l_30_7)
          (spare-in l_30_8)
          (spare-in l_30_9)
          (spare-in l_30_10)
          (spare-in l_30_11)
          (spare-in l_30_12)
          (road l_31_1 l_31_2)
          (road l_31_2 l_31_3)
          (road l_31_3 l_31_4)
          (road l_31_4 l_31_5)
          (road l_31_5 l_31_6)
          (road l_31_6 l_31_7)
          (road l_31_7 l_31_8)
          (road l_31_8 l_31_9)
          (road l_31_9 l_31_10)
          (road l_31_10 l_31_11)
          (road l_30_1 l_31_1)
          (road l_30_3 l_31_3)
          (road l_30_5 l_31_5)
          (road l_30_7 l_31_7)
          (road l_30_9 l_31_9)
          (road l_30_11 l_31_11)
          (road l_31_1 l_30_2)
          (road l_31_3 l_30_4)
          (road l_31_5 l_30_6)
          (road l_31_7 l_30_8)
          (road l_31_9 l_30_10)
          (road l_31_11 l_30_12)
          (spare-in l_31_1)
          (spare-in l_31_11)
          (road l_31_1 l_32_1)
          (road l_31_2 l_32_2)
          (road l_31_3 l_32_3)
          (road l_31_4 l_32_4)
          (road l_31_5 l_32_5)
          (road l_31_6 l_32_6)
          (road l_31_7 l_32_7)
          (road l_31_8 l_32_8)
          (road l_31_9 l_32_9)
          (road l_31_10 l_32_10)
          (road l_32_1 l_31_2)
          (road l_32_2 l_31_3)
          (road l_32_3 l_31_4)
          (road l_32_4 l_31_5)
          (road l_32_5 l_31_6)
          (road l_32_6 l_31_7)
          (road l_32_7 l_31_8)
          (road l_32_8 l_31_9)
          (road l_32_9 l_31_10)
          (road l_32_10 l_31_11)
          (spare-in l_32_1)
          (spare-in l_32_2)
          (spare-in l_32_3)
          (spare-in l_32_4)
          (spare-in l_32_5)
          (spare-in l_32_6)
          (spare-in l_32_7)
          (spare-in l_32_8)
          (spare-in l_32_9)
          (spare-in l_32_10)
          (road l_33_1 l_33_2)
          (road l_33_2 l_33_3)
          (road l_33_3 l_33_4)
          (road l_33_4 l_33_5)
          (road l_33_5 l_33_6)
          (road l_33_6 l_33_7)
          (road l_33_7 l_33_8)
          (road l_33_8 l_33_9)
          (road l_32_1 l_33_1)
          (road l_32_3 l_33_3)
          (road l_32_5 l_33_5)
          (road l_32_7 l_33_7)
          (road l_32_9 l_33_9)
          (road l_33_1 l_32_2)
          (road l_33_3 l_32_4)
          (road l_33_5 l_32_6)
          (road l_33_7 l_32_8)
          (road l_33_9 l_32_10)
          (spare-in l_33_1)
          (spare-in l_33_9)
          (road l_33_1 l_34_1)
          (road l_33_2 l_34_2)
          (road l_33_3 l_34_3)
          (road l_33_4 l_34_4)
          (road l_33_5 l_34_5)
          (road l_33_6 l_34_6)
          (road l_33_7 l_34_7)
          (road l_33_8 l_34_8)
          (road l_34_1 l_33_2)
          (road l_34_2 l_33_3)
          (road l_34_3 l_33_4)
          (road l_34_4 l_33_5)
          (road l_34_5 l_33_6)
          (road l_34_6 l_33_7)
          (road l_34_7 l_33_8)
          (road l_34_8 l_33_9)
          (spare-in l_34_1)
          (spare-in l_34_2)
          (spare-in l_34_3)
          (spare-in l_34_4)
          (spare-in l_34_5)
          (spare-in l_34_6)
          (spare-in l_34_7)
          (spare-in l_34_8)
          (road l_35_1 l_35_2)
          (road l_35_2 l_35_3)
          (road l_35_3 l_35_4)
          (road l_35_4 l_35_5)
          (road l_35_5 l_35_6)
          (road l_35_6 l_35_7)
          (road l_34_1 l_35_1)
          (road l_34_3 l_35_3)
          (road l_34_5 l_35_5)
          (road l_34_7 l_35_7)
          (road l_35_1 l_34_2)
          (road l_35_3 l_34_4)
          (road l_35_5 l_34_6)
          (road l_35_7 l_34_8)
          (spare-in l_35_1)
          (spare-in l_35_7)
          (road l_35_1 l_36_1)
          (road l_35_2 l_36_2)
          (road l_35_3 l_36_3)
          (road l_35_4 l_36_4)
          (road l_35_5 l_36_5)
          (road l_35_6 l_36_6)
          (road l_36_1 l_35_2)
          (road l_36_2 l_35_3)
          (road l_36_3 l_35_4)
          (road l_36_4 l_35_5)
          (road l_36_5 l_35_6)
          (road l_36_6 l_35_7)
          (spare-in l_36_1)
          (spare-in l_36_2)
          (spare-in l_36_3)
          (spare-in l_36_4)
          (spare-in l_36_5)
          (spare-in l_36_6)
          (road l_37_1 l_37_2)
          (road l_37_2 l_37_3)
          (road l_37_3 l_37_4)
          (road l_37_4 l_37_5)
          (road l_36_1 l_37_1)
          (road l_36_3 l_37_3)
          (road l_36_5 l_37_5)
          (road l_37_1 l_36_2)
          (road l_37_3 l_36_4)
          (road l_37_5 l_36_6)
          (spare-in l_37_5)
          (spare-in l_37_1)
          (road l_37_1 l_38_1)
          (road l_37_2 l_38_2)
          (road l_37_3 l_38_3)
          (road l_37_4 l_38_4)
          (road l_38_1 l_37_2)
          (road l_38_2 l_37_3)
          (road l_38_3 l_37_4)
          (road l_38_4 l_37_5)
          (spare-in l_38_1)
          (spare-in l_38_2)
          (spare-in l_38_3)
          (spare-in l_38_4)
          (road l_39_1 l_39_2)
          (road l_39_2 l_39_3)
          (road l_38_1 l_39_1)
          (road l_38_3 l_39_3)
          (road l_39_1 l_38_2)
          (road l_39_3 l_38_4)
          (spare-in l_39_1)
          (spare-in l_39_3)
          (road l_39_1 l_40_1)
          (road l_39_2 l_40_2)
          (road l_40_1 l_39_2)
          (road l_40_2 l_39_3)
          (spare-in l_40_1)
          (spare-in l_40_2)
          (road l_40_1 l_41_1)
          (road l_41_1 l_40_2)
          (spare-in l_41_1)
          (not-flattire))
   (:goal (vehicle-at l_1_41)))
